21. Logic in games /
پدیدآورنده : Johan van Benthem
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Game theory,Logic
رده :
QA269
.
B36
2014
22. Mathematical problems from applied logic I :
پدیدآورنده : edited by Dov M. Gabbay, Sergi S. Goncharov, and Michael Zakharyaschev.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.
رده :
QA9
.
A1
M38
2006eb
23. Modal logic and classical logic
پدیدآورنده : Benthem, Johan F. A. K. van, 9491-
کتابخانه: (طهران)
موضوع : ، Modality )Logic(,، Logic
رده :
BC
199
.
M6B46
1985
24. Models of Strategic Reasoning.
پدیدآورنده : \ Johan van Benthem , Sujata Ghosh, Rineke Verbrugge (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Games of strategy (Mathematics)
رده :
QA
270
.
M6
2015
E-Book
,
25. New Essays on the Knowability Paradox
پدیدآورنده : / Edited by Joe Salerno
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Paradox,پارادوکس
رده :
BC199
.
P2
,
N49
2009
26. New essays on the knowability paradox
پدیدآورنده : edited by Joe Salerno
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Paradox
رده :
BC199
.
P2
N49
2009
27. Philosophy of Information
پدیدآورنده : \ Edited By Pieter Adriaans and Johan Van Benthem
کتابخانه: (طهران)
موضوع : نظریه اطلاعات -- فلسفه
رده :
Q
360
.
P5
28. Philosophy of information
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Information theory-- Philosophy
رده :
Q
360
.
P48
2008
29. Philosophy of information
پدیدآورنده : edited by Pieter Adriaans and Johan van Benthem
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : Philosophy ، Information theory
30. Philosophy of information
پدیدآورنده : edited by Pieter Adriaans and Johan van Benthem
کتابخانه: (طهران)
موضوع : Philosophy ، Information theory
رده :
Q
360
.
P45
31. 13, 2011. Proceedings-Logic, Rationality, and Interaction: Third International Workshop, LORI 2011, Guangzhou, China, October 10
پدیدآورنده : / me Lang, Shier Ju (eds.)مrفJohan van Benthem, Eric Pacuit (auth.), Hans van Ditmarsch, J
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
32. Proof, computation and agency :
پدیدآورنده : edited by Johan van Benthem, Amitabha Gupta and Rohit Parikh.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
33. Readings in Formal Epistemology
پدیدآورنده : edited by Horacio Arl??-Costa, Vincent F. Hendricks, Johan van Benthem
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Knowledge, Theory of,Logic, Symbolic and mathematical,Game theory
رده :
EBOOK
,
BD
R4
161
34. Readings in Formal Epistemology :
پدیدآورنده : edited by Horacio Arló-Costa, Vincent F. Hendricks, Johan van Benthem.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Game theory.,Knowledge, Theory of.,Logic, Symbolic and mathematical.,Philosophy.,Game theory.,Game theory.,Knowledge, Theory of.,Logic, Symbolic and mathematical.,Mathematical theory of computation.,Mathematics-- Game Theory.,Mathematics-- Logic.,Philosophy-- Epistemology.,Philosophy.,Philosophy: epistemology & theory of knowledge.
رده :
BD143-237
35. Readings in formal epistemology : Sourcebook
پدیدآورنده : Horacio Arlo-Costa, Vincent F. Hendricks, Johan van Benthem, editors; assistant editors : Henrik Boensvang, Rasmus K. Rendsvig
کتابخانه: (طهران)
موضوع : ، Knowledge, Theory of,، Logic, Symbolic and mathematical,، Game theory
رده :
BD
161
.
R42
36. Rohit Parikh on Logic, Language and Society
پدیدآورنده : edited by Can Baskent, Lawrence S. Moss, Ramaswamy Ramanujam
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Philosophy,Logic,Mathematical logic,Semantics,Philosophy,Logic,Mathematical Logic and Formal Languages,Mathematical Logic and Foundations,Semantics
رده :
EBOOK
,
BC
R6
140
37. The age of alternative logics :
پدیدآورنده : edited by Johan van Benthem ... [and others]
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Categories (Philosophy),Logic, Symbolic and mathematical,Mathematics-- Philosophy,Proof theory
رده :
BC135
.
A39
2006
38. The age of alternative logics : assessing philosophy of logic and mathematics today
پدیدآورنده : edited by Johan van Benthem... ]et al.[
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics -- Philosophy,، Proof theory,، Categories )Philosophy(
رده :
BC
135
.
A35
39. The logic of time
پدیدآورنده : Johan van Benthem
کتابخانه: کتابخانه دانشکده روانشناسی و علوم تربیتی دانشگاه تهران (طهران)
موضوع : Time,Ontology,Tense (Grammar),Tense (Logic)
رده :
BC
,
199
,.
T4
,
B4
,
1991
40. The logic of time : a model-theoretic investigation into the varieties of temporal ontology and temporal discourse
پدیدآورنده : Benthem, J. F. A. K. van
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Time,، Ontology,، Tense )Grammar(,، Tense )Logic(
رده :
BC
199
.
T4
.
B46
1991
